To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·12h
🛡️Preservation Proofs
Data Fusion and Aggregation Methods to Develop Composite Indexes for a Sustainable Future
arxiv.org·7h
🧠Query Planners
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·10h·
Discuss: Hacker News
🔍Type Inference
Family Archives and the Holocaust
medium.com·11h
📜Family History Data
How to back up iCloud Drive and Photos
sixcolors.com·18h
🍎Apple Archive
I want to make just a few key containers highly available, and I want advice on how it'd be possible with the less suck
reddit.com·51m·
Discuss: r/homelab
🏠HomeLab
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·21h
🏗️Constructive Mathematics
Where Does All the Data Go? Unveiling the Magic of Databases! 💾
dev.to·1d·
Discuss: DEV
🗄️Database Internals
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.org·1d
🌐DNS Security
I'm a CEO and prepper. Preparing for the worst case gives me peace of mind at work and at home.
businessinsider.com·21h
🎯Threat Hunting
Archiving a Pixelated Pandemic: Part 2 — Minecraft at Cambridge University Libraries
digitalpreservation-blog.lib.cam.ac.uk·23h
⚖️Emulation Ethics
Poor man's bitemporal data system in SQLite and Clojure
evalapply.org·1d
🗄️Database Internals
You Are in a Box
jyn.dev·20h·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·1d
🧠Computational Logic
The Order of Things: Why You Can't Have Both Speed and Ordering in Distributed Systems
architecture-weekly.com·21h·
Discuss: Hacker News, r/programming
🗄️PostgreSQL WAL
Inheritance over composition, sometimes
death.andgravity.com·4h
🦀Rust Macros
News for June 2025
ptreview.sublinear.info·1d
🕸️Graph Algorithms
Discrete Differential Principle for Continuous Smooth Function Representation
arxiv.org·7h
🌀Differential Geometry
Obsidian has added a functionality called ‘Bases’. An interface driven way to make overviews like you already could make with Dataview queries. Wher...
zylstra.org·1h
⛏️SQL Archaeology
The great misunderstanding of the DRY principle
pmatteo.com·20h·
Discuss: Hacker News
💧Liquid Types